Uppaal | a Tool Suite for Automatic Veriication of Real{time Systems ?

Automatic Verification of Real–Time Systems

Uppaal is a tool suite for automatic veriication of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphi-cal and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of li...

Uppaal a Tool Suite for Symbolic and Compositional Veriication of Real{time Systems ?

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

Uppaal is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphical and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of li...

UPPAAL in 1995

UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the th...

Automatic Veri cation of Real { Time Systems ?

Uppaal is a tool suite for automatic veri cation of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphical and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of lin...